home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / ai.prl / mike1.exe / LOADOPS.PL < prev    next >
Encoding:
Text File  |  1990-09-07  |  2.1 KB  |  73 lines
  1. /* file: LOADOPS.PL {directives with operator declarations} */
  2.  
  3. /*
  4.                             *************
  5.                                M I K E
  6.                             *************
  7.                Micro Interpreter for Knowledge Engineering
  8.                   {written in Edinburgh-syntax Prolog}
  9.  
  10. MIKE: Copyright (c) 1989, 1990 The Open University (U.K.)
  11.  
  12. MIKE is intended for educational purposes, and may not
  13. be sold as or incorporated in a commercial product without
  14. written permission from: The Copyrights Officer, Open University,
  15. Milton Keynes MK7 6AA, U.K.
  16.  
  17. The Open University accepts no responsibility for any legal or other
  18. consequences which may arise directly or indirectly as a result of the
  19. use of all or parts of the contents of this program.
  20.  
  21. This software accompanies Open University Study Pack PD624, 'KNOWLEDGE
  22. ENGINEERING'.  Complete sets of study pack materials may be obtained from:
  23.  
  24.                       Learning Materials Sales Office
  25.                       The Open University
  26.                       P.O. Box 188
  27.                       Milton Keynes MK7 6DH, U.K.
  28.  
  29.                       Tel: [+44] (908) 653338
  30.                       Fax: [+44] (908) 653744
  31. */
  32.  
  33. /* ================ O P E R A T O R   D E C L A R A T I O N S ========= */
  34.  
  35. ?- op(1200,fx,rule).
  36. ?- op(1199,xfx,with).
  37. ?- op(1199,xfx,forward).
  38. ?- op(1199,xfx,backward).
  39. ?- op(1100,fx,if).
  40. ?- op(1000,xfx,then).
  41. ?- op(1000,xfx,from).
  42. ?- op(999, fx, [make_value,add_value]).
  43. ?- op(955,xfy, or).
  44. ?- op(954, xfy, '&').
  45. ?- op(953,fx, '--').
  46. ?- op(953,fx, query).
  47. ?- op(952,xfy, receives_answer).
  48. ?- op(950,fx, establish).
  49. ?- op(950,fx, deduce).
  50. ?- op(950,fx, say).
  51. ?- op(950,fx, remove).
  52. ?- op(950,fx, note).
  53. ?- op(950,fx, add).
  54. ?- op(950,fx, announce).
  55. ?- op(950,xfy,explained_by).
  56. ?- op(950,fx,why).
  57. ?- op(950,fx,how).
  58. ?- op(950,fx,describe).
  59. ?- op(950,fx,show).
  60. ?- op(950,fx,strategy).
  61. ?- op(899,fx,the).
  62. ?- op(899,fx,all).
  63. ?- op(898,xfx,of).
  64. ?- op(897,xfx,to).
  65. ?- op(876,xfx,for).
  66. ?- op(850,xfx,are).
  67. ?- op(800,xfx,instance_of).
  68. ?- op(800,xfx,subclass_of).
  69. ?- op(799,xfx,':').
  70. ?- op(700,fx,kb).
  71. ?- op(200,xfx,'<--').
  72. ?- op(10,fx,'?').
  73.